9.88/10.30	unsat
