14.16/18.30	unsat
