27.24/29.50	unsat
