9.97/10.49	unsat
