27.84/29.08	unsat
