27.59/28.97	unsat
