13.97/17.20	unsat
