6.79/8.92	unsat
