14.35/17.09	unsat
