6.77/8.92	unsat
