12.27/17.19	unsat
