14.18/17.12	unsat
