9.97/10.07	unsat
