14.22/17.30	unsat
