27.36/29.52	unsat
