14.37/17.41	unsat
