6.87/9.32	unsat
