14.47/19.36	unsat
