14.17/18.36	unsat
