8.67/8.81	unsat
