28.06/29.48	unsat
