4.02/4.07	unsat
