14.47/17.84	unsat
