2.29/3.08	unsat
