14.17/16.90	unsat
