8.25/10.84	unsat
