27.63/29.56	unsat
