14.30/18.10	unsat
