1.93/4.08	unsat
