7.67/8.72	unsat
