5.57/7.22	unsat
