14.16/17.57	unsat
