14.46/17.19	unsat
