17.97/18.91	unsat
