7.90/8.11	unsat
