27.79/27.89	unsat
