2.96/3.08	unsat
