3.58/4.17	unsat
