6.87/9.34	unsat
