27.52/29.70	unsat
