14.31/14.42	unsat
