14.15/17.24	unsat
