9.97/10.12	unsat
