7.63/11.20	unsat
