3.93/4.17	unsat
