6.87/9.49	unsat
