8.87/10.84	unsat
