7.67/7.72	unsat
