3.94/4.07	unsat
