13.35/14.73	unsat
