24.84/27.08	unsat
