3.42/4.08	unsat
