27.14/29.77	unsat
