5.57/7.92	unsat
