8.84/10.49	unsat
