27.75/29.52	unsat
