4.89/6.92	unsat
