3.88/4.08	unsat
