27.63/27.71	unsat
