6.67/6.79	unsat
