6.79/8.84	unsat
