9.08/11.70	unsat
