17.64/18.91	unsat
