17.25/18.91	unsat
