8.67/8.97	unsat
