27.84/31.08	unsat
