4.57/6.17	unsat
