7.67/7.79	unsat
