3.88/4.13	unsat
