27.26/29.80	unsat
