2.42/3.08	unsat
