8.58/10.49	unsat
