6.79/8.11	unsat
