27.79/28.25	unsat
