27.59/27.68	unsat
