9.69/10.04	unsat
