4.57/6.22	unsat
