13.47/14.52	unsat
