4.02/4.17	unsat
